迄今，发现典型的几种疑问是： 1。组合子的设计要求正交，要求最基本，这是不是太难达到呢？ 2。面对一些现实中更复杂的需求，组合子怎样scale up呢？
其实，这两者都指向一个答案：重构。
要设计一个完全正交，原子到不可再分的组合子，也许不是总是那么容易。但是，我们并不需要一开始就设计出来完美的组合子设计。
比如，我前面的logging例子，TimestampLogger负责给在一行的开头打印当前时间。 然后readonly提出了一个新的需要：打印调用这个logger的那个java文件的类名字和行号。
分析这个需求，可以发现，两者都要求在一行的开始打印一些东西。似乎有些共性. 这个"在行首打印一些前缀"就成了一个可以抽象出来的共性.于是重构:
java代码:
interface Factory{
String create();
}
class PrefixLogger implements Logger{
private final Logger logger;
private final Factory factory;
private boolean freshline = true;
private void prefix(int lvl){
if(freshline){
Object r = factory.create();
if(r!=null)
logger.print(lvl, r);
freshline = false;
}
}
public void print(int lvl, String s){
prefix(lvl);
logger.print(lvl, s);
}
public void println(int lvl, String s){
prefix(lvl);
logger.println(lvl, s);
freshline = true;
}
public void printException(int lvl, Throwable e){
prefix(lvl);
logger.printException(lvl, e);
freshline = true;
}
}
这里，Factory接口用来抽象往行首打印的前缀。这个地方之所以不是一个String，是因为考虑到生成这个前缀可能是比较昂贵的（比如打印行号，这需要创建一个临时异常对象）
另外，真正的Logger接口，会负责打印所有的原始类型和Object类型，例子中我们简化了这个接口，为了演示方便。
然后，先重构timestamp:
java代码:
class TimestampFactory implements Factory{
private final DateFormat fmt;
public String create(){
return fmt.format(new Date());
}
}
这样，就把timestamp和“行首打印”解耦了出来。
下面添加TraceBackFactory，负责打印当前行号等源代码相关信息。 java代码:
interface SourceLocationFormat{
String format(StackTraceElement frame);
}
class TraceBackFactory implements Factory{
private final SourceLocationFormat fmt;
public String create(){
final StackTraceElement frame = getNearestUserFrame();
if(frame!=null)
return fmt.format(frame);
else return null;
}
private StackTraceElement getNearestUserFrame(){
final StackTraceElement[] frames = new Throwable().getStackTrace();
foreach(frame: frames){
if(!frame.getClassName().startsWith("org.mylogging")){
//user frame
return frame;
}
}
return null;
}
}
具体的SourceLocationFormat的实现我就不写了。
注意，到现在为止，这个重构都是经典的oo的思路，划分责任，按照责任定义Factory, SourceLocationFormat等等接口，依赖注入等。完全没有co的影子。
这也说明，在co里面，我们不是不能采用oo，就象在oo里面，我们也可以围绕某个接口按照co来提供一整套的实现一样，就象在oo里面，我们也可以在函数内部用po的方法来实现某个具体功能一样。
下面开始对factory做一些co的勾当： 先是最简单的：
java代码:
class ReturnFactory implements Factory{
private final String s;
public String create(){return s;}
}
然后是两个factory的串联，
java代码:
class ConcatFactory implements Factory{
private final Factory[] fs;
public String create(){
StringBuffer buf = new StringBuffer();
foreach(f: fs){
buf.append(f.create());
}
return buf.toString();
}
}
最后，我们把这几个零件组合在一起：
java代码:
Logger myprefix(Logger l){
Factory timestamp = new TimestampFactory(some_date_format);
Factory traceback = new TraceBackFactory(some_location_format);
Factory both = new ConcatFactory(
timestamp,
new ReturnFactory(" - "),
traceback,
new ReturnFactory(" : ")
);
return new PrefixLogger(both, l);
}
如此，基本上，在行首添加东西的需求就差不多了，我们甚至也可以在行尾添加东西，还可以重用这些factory的组合子。
另一点我想说明的是：这种重构是相当局部的，仅仅影响几个组合子，而并不影响整个组合子框架。
真正影响组合子框架的，是Logger接口本身的变化。假设，readonly提出了一个非常好的意见：printException应该也接受level，因为我们应该也可以选择一个exception的重要程度。
那么，如果需要做这个变化，很不幸的是，所有的实现这个接口的类都要改变。
这是不是co的一个缺陷呢？
我说不是。 即使是oo，如果你需要改动接口，所有的实现类也都要改动。co对这种情况，其实还是做了很大的贡献来避免的： 只有原子组合子需要实现这个接口，而派生的组合子和客户代码，根本就不会被波及到。 而co相比于oo，同样面对相同复杂的需求，往往原子组合子的数目远远小于实际上要实现的语义数，大量的需求要求的语义，被通过组合基本粒子来实现。也因此会减少直接实现这个接口的类的数目，降低了接口变化的波及范围。
那么，这个Logger接口是怎么来的呢？
它的形成来自两方面：
1。需求。通过oo的手段分配责任，最后分析出来的一个接口。这个接口不一定是最简化的，因为它完全是外部需求驱动的。
2。组合子自身接口简单性和完备性的需要。有些时候，我们发现，一个组合子里面如果没有某个方法，或者某个方法如果没有某个参数，一些组合就无法成立。这很可能说明我们的接口不是完备的。（比如那个print函数）。 此时，就需要改动接口，并且修改原子组合子的实现。 因为这个变化完全是基于组合需求的完备性的，所以是co方法本身带来的问题，而不能推诿于oo设计出来的接口。 也因为如此，基本组合子个数的尽量精简就是一个目标。能够通过基本组合子组合而成的，就可以考虑不要直接实现这个接口。 当然，这里面仍然有个权衡： 通过组合出来的不如直接实现的直接，可理解性，甚至可调试性，性能都会有所下降。 而如果选择直接实现接口，那么就要做好接口一旦变化，就多出一个类要改动这个类的心理准备。
如何抉择，没有一定之规。
而因为1和2的目标并不完全一致，很多时候，我们还需要在1和2之间架一个adapter以避免两个目标的冲突。
比如说，实际使用中，我可能希望Logger接口提供不要求level的println函数，让它的缺省值取INFO就好了。
但是，这对组合子的实现来说却是不利的。这时，我们也许就要把这个实现要求的Logger接口和组合子的Logger接口分离开来。（比如把组合子单独挪到一个package中）。
Logger这个例子是非常简单的，它虽然来自于实际项目，但是项目对logging的需求并不是太多，所以一些朋友提出了一些基于实际使用的一些问题，我只能给一个怎么做的大致轮廓，手边却没有可以运行的程序。
那么，下面一个例子，我们来看看一个我经过了很多思考比较完善了的ioc容器的设计。这个设计来源于yan container。
先说一下ioc容器的背景知识。
所谓ioc容器，是一种用来组装用ioc模式（或者叫依赖注射）设计出来的类的工具。 一个用ioc设计出来的类，本身对ioc容器是一无所知的。使用它的时候，可以根据实际情况选择直接new，直接调用setter等等比较直接的方法，但是，当这样的组件非常非常多的时候，用一个ioc容器来统一管理这些对象的组装就可以被考虑。
拿pico作为例子，对应这样一个类：
java代码:
class Boy{
private final Girl girl;
public Boy(Girl g){
this.girl = g;
}
...
}
我们自然可以new Boy(new Girl());
没什么不好的。
但是，如果这种需要组装的类太多，那么这个组装就变成一件累人的活了。
于是，pico container提供了一个统一管理组建的方法： java代码:
picocontainer container = new DefaultContainer();
container.registerComponentImplementation(Boy.class);
container.registerComponentImplementation(Girl.class);
这个代码，很可能不是直接写在程序里面，而是先读取配置文件或者什么东西，然后动态地调用这段代码。
最后，使用下面的方法来取得对象：
java代码:
Object obj = container.getComponentInstance(Boy.class);
注意，这个container.getXXX，本身是违反ioc的设计模式的，它主动地去寻找某个组件了。所以，组件本身是忌讳调用这种api的。如果你在组件级别的代码直接依赖ioc容器的api，那么，恭喜你，你终于成功地化神奇为腐朽了。 Laughing
这段代码，实际上应该出现在系统的最外围的组装程序中。
当然，这是题外话。
那么，我们来评估一下pico先，
1。让容器自动寻找符合某个类型的组件，叫做auto-wiring。这个功能方便，但是不能scale up。一旦系统复杂起来，就会造成一团乱麻，尤其是有两个组件都符合这个要求的时候，就会出现二义性。所以，必须提供让配置者或者程序员显示指定使用哪个 组件的能力。所谓manual-wire。 当然，pico实际上是提供了这个能力的，它允许你使用组件key或者组件类型来显示地给某个组件的某个参数或者某个property指定它的那个girl。
但是，pico的灵活性就到这里了，它要求你的这个girl必须被直接登记在这个容器中，占用一个宝贵的全局key，即使这个girl只是专门为这个body临时制造的夏娃。
在java中，遇到这种情况：
java代码:
void A createA(){
B b = new B();
return new A(b,b);
}
我们只需要把b作为一个局部变量，构造完A，b就扔掉了。然而，pico里面这不成，b必须被登记在这个容器中。这就相当于你必须要把b定义成一个全局变量一样。 pico的对应代码：
java代码:
container.registerComponent("b" new CachingComponentAdapter(new ConstructorInjectionComponentAdapter(B.class)));
container.registerComponent("a", new ConstructorInjectionComponentAdapter(A.class));
这里，为了对应上面java代码中的两个参数公用一个b的实例的要求，必须把a登记成一个singleton。 CachingComponentAdapter负责singleton化某个组件，而 ConstructorInjectionComponentAdapter就是一个调用构造函数的组建匹配器。
当然，这样做其实还是有麻烦的，当container不把a登记成singleton的时候（pico缺省都登记成singleton，但是你可以换缺省不用singleton的container。），麻烦就来了。
大家可以看到，上面的createA()函数如果调用两次，会创建两个A对象，两个B对象，而用这段pico代码，调用两次getComponentInstance("a")，会生成两个A对象，但是却只有一个B对象！因为b被被迫登记为singleton了。
2。pico除了支持constructor injection，也支持setter injection甚至factory method injection。（对最后一点我有点含糊，不过就假设它支持）。所以，跟spring对比，除了没有一个配置文件，life-cycle不太优雅之 外，什么都有了。
但是，这就够了吗？如果我们把上面的那个createA函数稍微变一下：
java代码:
A createA(){
B b = new B();
return new A(b, b.createC(x_component));
}
现在，我们要在b组件上面调用createC()来生成一个C对象。完了，我们要的既不是构造函数，也不是工厂方法，而是在某个临时组件的基础上调用一个函数。
缺省提供的几个ComponentAdapter这时就不够用了，我们被告知要自己实现ComponentAdapter。
实际上，pico对很多灵活性的要求的回答都是：自己实现ComponentAdapter。
这是可行的。没什么是ComponentAdapter干不了的，如果不计工作量的话。
一个麻烦是：我们要直接调用pico的api来自己解析依赖了。我们要自己知道是调用container.getComponentInstance("x_component")还是container.getComponentInstance(X.class)。 第二个麻烦是：降低了代码重用。自己实现ComponentAdapter就得自己老老实实地写，如果自己的component adapter也要动态设置java bean setter的话，甭想直接用SetterInjectionComponentAdapter，好好看java bean的api吧。
其实，我们可以看出，pico的各种ComponentAdapter正是正宗的decorator pattern。什么CachingComponentAdapter，什么SynchronizedComponentAdapter，都是decorator。
但是，这也就是decorator而已了。因为没有围绕组合子的思路开展设计，这些decorator显得非常随意，没有什么章法，没办法支撑起整个的ComponentAdapter的架构。
下一章，我们会介绍yan container对上面提出的问题以及很多其他问题的解决方法。
yan container的口号是：只要你直接组装能够做到的，容器就能做到。 不管你是不是用构造函数，静态方法，java bean，构造函数然后再调用某个方法，等等等等。 而且yan container的目标是，你几乎不用自己实现component adapter，所有的需求，都通过组合各种已经存在的组合子来完成。
对我们前面那个很不厚道地用来刁难pico的例子，yan的解决方法是：
java代码:
b_component = Components.ctor(B.class).singleton();
a_component = Components.ctor(A.class)
.withArgument(0, b_component)
.withArgument(1, b_component.method("createC"));
b_component不需要登记在容器中，它作为局部component存在。 是不是非常declarative呢？
下一节，你会发现，用面向组合子的方法，ioc容器这种东西真的不难。我们不需要仔细分析各种需求，精心分配责任。让我们再次体验一下吊儿郎当不知不觉间就天下大治的感觉吧。
待续。